141. In defence of objective Bayesianism /
پدیدآورنده : Jon Williamson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,31.02 philosophy and theory of mathematics.,31.70 probability.,Bayes-Entscheidungstheorie.,Bayesian method.,Bayesian statistical decision theory.,Bayes-Verfahren,Bayes-Verfahren.,Beslutsteori-- matematisk statistik.,Decision theory.,épistémologie-- théorie de Bayes.,Epistemology.,Knowledge, Theory of.,Objektivierung,Objektivität.,Reasoning-- Mathematical models.
رده :
QA279
.
5
.
W5475
2010
142. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
143. Inference, explanation, and other frustrations :
پدیدآورنده : edited by John Earman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Induction (Logic),Inference.,Science-- Methodology.,Science-- Philosophy.,08.35 philosophy of science.,Aufsatzsammlung,Inductie (logica),Induction (Logic),Inference.,Inférence.,Naturwissenschaften,Philosophie,Philosophie des sciences.,Science-- Methodology.,Science-- Philosophy.,Sciences-- Méthodologie.,Wetenschapsfilosofie.,Wissenschaftsphilosophie,Wissenschaftstheorie
رده :
Q175
.
3
.
I53
1989
144. Information systems for the fashion and apparel industry
پدیدآورنده : edited by Tsan-Ming Choi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Clothing trade-- Information technology.
145. Ingardeniana :
پدیدآورنده : edited by Anna-Teresa Tymieniecka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Phenomenology.,Philosophy (General),Science -- Philosophy.
146. Insight into fuzzy modeling /
پدیدآورنده : Vilém Novák, Irina Perfilieva, and Antonín Dvóřák, University of Ostrava, Institute for Research and Applications of Fuzzy Modeling, the Czech Republic
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy mathematics.,Fuzzy systems-- Mathematical models.,Simulation methods.
رده :
T57
.
N68
2016
147. Intelligent spectrum handovers in cognitive radio networks /
پدیدآورنده : Anandakumar Haldorai, Umamaheswari Kandaswamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cognitive radio networks.,Cognitive radio networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5103
.
4815
148. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
149. Introduction to Coding Theory
پدیدآورنده : by J. H. Lint.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Geometry, Algebraic.,Mathematics.,Number theory.
150. Introduction · to Mathematical Structures and · Proofs
پدیدآورنده : by Larry J. Gerstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General).
151. Introduction to logic circuits & logic design with VHDL /
پدیدآورنده : Brock J. LaMeres.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic circuits.,VHDL (Computer hardware description language),Circuits & components.,Computer architecture & logic design.,Computers-- Logic Design.,Computers-- Systems Architecture-- General.,Logic circuits.,Technology & Engineering-- Electronics-- Circuits-- General.,VHDL (Computer hardware description language)
رده :
TK7868
.
L6
152. Introduction to logic circuits & logic design with Verilog /
پدیدآورنده : Brock J. LaMeres.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic circuits.,Logic design.,Verilog (Computer hardware description language),Circuits & components.,Computer architecture & logic design.,Computers-- Logic Design.,Computers-- Systems Architecture-- General.,Logic circuits.,Logic design.,Technology & Engineering-- Electronics-- Circuits-- General.,Verilog (Computer hardware description language)
رده :
TK7868
.
L6
153. Introduction to mathematical logic
پدیدآورنده : Mendelson, Elliott
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA9
.
M4
2001
154. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
155. Introduction to parallel computing :
پدیدآورنده : Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
642
156. Introduction to the Basic Concepts and Problems of Modern Logic
پدیدآورنده : by G. Hasenjaeger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC135
.
B944
1972
157. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
158. KI-96 :
پدیدآورنده : Günther Görz, Steffen Hölldobler, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Automatic theorem proving -- Congresses.,Knowledge representation (Information theory) -- Congresses.
159. Kurt Gödel and the foundations of mathematics :
پدیدآورنده : edited by Matthias Baaz ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
